Rational term rewritingCORRADINI, A; GADDUCCI, F.Lecture notes in computer science. 1998, pp 156-171, issn 0302-9743, isbn 3-540-64300-1Conference Paper

Asynchronous observations of processesBOREALE, M; DE NICOLA, R; PUGLIESE, R et al.Lecture notes in computer science. 1998, pp 95-109, issn 0302-9743, isbn 3-540-64300-1Conference Paper

Generalizing domain theoryMISLOVE, M.Lecture notes in computer science. 1998, pp 1-19, issn 0302-9743, isbn 3-540-64300-1Conference Paper

FoSSaCS'98 : foundations of software sciecnes and computation structures (Lisbon, March 28 - April 4, 1998)Nivat, Maurice.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64300-1, X, 287 p, isbn 3-540-64300-1Conference Proceedings

Mobile ambientsCARDELLI, L; GORDON, A. D.Lecture notes in computer science. 1998, pp 140-155, issn 0302-9743, isbn 3-540-64300-1Conference Paper

Resource based models for asynchronyRATHKE, J.Lecture notes in computer science. 1998, pp 273-287, issn 0302-9743, isbn 3-540-64300-1Conference Paper

A Cook's tour of equational axiomatizations for prefix iterationACETO, L; FOKKINK, W; INGOLFSDOTTIR, A et al.Lecture notes in computer science. 1998, pp 20-34, issn 0302-9743, isbn 3-540-64300-1Conference Paper

Deterministic rational transducers and random sequencesPORROT, S; DAUCHET, M; DURAND, B et al.Lecture notes in computer science. 1998, pp 258-272, issn 0302-9743, isbn 3-540-64300-1Conference Paper

On piecewise testable, starfree, and recognizable picture languagesMATZ, O.Lecture notes in computer science. 1998, pp 203-210, issn 0302-9743, isbn 3-540-64300-1Conference Paper

Analysis of a guard condition in type theoryAMADIO, R. M; COUPET-GRIMAL, S.Lecture notes in computer science. 1998, pp 48-62, issn 0302-9743, isbn 3-540-64300-1Conference Paper

Deciding properties for message sequence chartsMUSCHOLL, A; PELED, D; ZHENDONG SU et al.Lecture notes in computer science. 1998, pp 226-242, issn 0302-9743, isbn 3-540-64300-1Conference Paper

Net refinement by pullback rewritingKLEMPIEN-HINRICHS, R.Lecture notes in computer science. 1998, pp 189-202, issn 0302-9743, isbn 3-540-64300-1Conference Paper

Functor categories and two-level languagesMOGGI, E.Lecture notes in computer science. 1998, pp 211-225, issn 0302-9743, isbn 3-540-64300-1Conference Paper

Partial metrics and co-continuous valuationsBUKATIN, M. A; SHORINA, S. Yu.Lecture notes in computer science. 1998, pp 125-139, issn 0302-9743, isbn 3-540-64300-1Conference Paper

An event structure semantics for P/T contextual nets : Asymmetric event structuresBALDAN, P; CORRADINI, A; MONTANARI, U et al.Lecture notes in computer science. 1998, pp 63-80, issn 0302-9743, isbn 3-540-64300-1Conference Paper

The Church-Rosser languages are the deterministic variants of the growing context-sensitive languagesNIEMANN, G; OTTO, F.Lecture notes in computer science. 1998, pp 243-257, issn 0302-9743, isbn 3-540-64300-1Conference Paper

The appearance of big integers in exact real arithmetic based on linear fractional transformationsHECKMANN, R.Lecture notes in computer science. 1998, pp 172-188, issn 0302-9743, isbn 3-540-64300-1Conference Paper